Bananas
نویسندگان
چکیده
منابع مشابه
Talking Bananas
Session types provide static guarantees that concurrent programs respect communication protocols. We give a novel account of recursive session types in the context of GV, a small concurrent extension of the linear λ-calculus. We extend GV with recursive types and catamorphisms, following the initial algebra semantics of recursion, and show that doing so naturally gives rise to recursive session...
متن کاملDealing with Large Bananas
Many problems call for a mixture of generic and speci c programming techniques. We propose a polytypic programming approach based on generalised (monadic) folds where a separation is made between basic fold algebras that model generic behaviour and updates on these algebras that model speci c behaviour. We identify particular basic algebras as well as some algebra combinators, and we show how t...
متن کاملBananas, Dark Worlds, and AspectH
This report summarises our idea of code clone detection in Haskell code and refactorings based on identified clones as it evolved in our group-of-three discussion. 1 Motivation Looking at the code example below, we observe a certain level of redundancy, in particular structural redundancy, such as pattern matching , if-then-elseconstructs, and recursion . addOdds :: Integral a => [a] -> a addOd...
متن کاملBananas Enough for Time Travel?
This paper argues that the most famous objection to backward time travel can carry no weight. In its classic form, the objection is that backward time travel entails the occurrence of impossible things, such as auto-infanticide—and hence is itself impossible. David Lewis has rebutted the classic version of the objection: auto-infanticide is prevented by coincidences, such as time travellers sli...
متن کاملSliced bananas on opaque data
Algebraic data types and catamorphisms (folds) play a central role in functional programming as they allow programmers to define recursive data structures and operations on them uniformly by structural recursion. Likewise, in object-oriented (OO) programming, recursive hierarchies of object types with virtual methods play a central role for the same reason. There is a semantical correspondence ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Normalisation internationale des fruits et légumes
سال: 2023
ISSN: ['1011-0518', '1993-5668']
DOI: https://doi.org/10.1787/e762dec6-en-fr